Skip to main content
Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
馃搻 Language Theory
Type Systems, Formal Methods, Lambda Calculus, Category Theory
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5779
posts in
233.1
ms
Unification
of
Deterministic
Higher-Order Patterns
arxiv.org
路
15h
馃З
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Making an
LSP
for great good
thunderseethe.dev
路
20h
路
Discuss:
Lobsters
,
Hacker News
鈿欙笍
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Beyond
Memorization
: Testing LLM Reasoning on
Unseen
Theory of Computation Tasks
arxiv.org
路
15h
鈿欙笍
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
DevUtils
, a Mac app for text
conversion
and processing
blakewatson.com
路
1d
鈿欙笍
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
kip-dili/kip
: A programming language based on
grammatical
cases of Turkish.
github.com
路
3d
路
Discuss:
Hacker News
,
r/compsci
,
r/programming
,
r/programming
馃З
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How to
speak
Davosian
ft.com
路
2d
鈿欙笍
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Writing
your first
compiler
popovicu.com
路
2d
路
Discuss:
Hacker News
,
r/golang
鈿欙笍
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Real programming vs.
interviews
: A
dyslexic
perspective
lobste.rs
路
10h
路
Discuss:
Lobsters
馃З
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Why not
tail
recursion
?
futhark-lang.org
路
1d
路
Discuss:
Lobsters
,
Hacker News
馃З
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Reliable Signals of
Honest
Intent
zanlib.dev
路
1d
路
Discuss:
Lobsters
,
Hacker News
馃捑
vintage computing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Type-safe
eval
in
Grace
haskellforall.com
路
1d
路
Discuss:
Lobsters
,
Hacker News
馃З
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The lost art of
XML
marcosmagueta.com
路
1d
路
Discuss:
Lobsters
,
Hacker News
馃摗
RSS
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
some C
habits
I
employ
for the modern day
unix.dog
路
3d
路
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
Hacker News
馃З
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
C++26
Reflection
馃挌
QRangeModel
qt.io
路
2d
路
Discuss:
Lobsters
,
Hacker News
,
r/cpp
鈿欙笍
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
GSoC 2025: Advanced symbol resolution for
Clang-Repl
blog.llvm.org
路
2d
鈿欙笍
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Art of
Nested
Code
Fencing
in Markdown
susam.net
路
2d
路
Discuss:
Lobsters
,
Hacker News
馃З
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Vibecoding
#2
matklad.github.io
路
1d
路
Discuss:
Lobsters
,
Hacker News
馃幇
Bytecode VMs
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Rust's Culture of Semantic Precision 鈥斅燗ndrew
Lilley
Brinker
alilleybrinker.com
路
4d
路
Discuss:
Lobsters
,
Hacker News
馃З
programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How We Built a Semantic
Highlight
Model To Save
Token
Cost for RAG
huggingface.co
路
5d
路
Discuss:
Hacker News
鈿欙笍
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Giving University
Exams
in the Age of
Chatbots
ploum.net
路
2d
路
Discuss:
Lobsters
,
Hacker News
,
Hacker News
馃寪
Network Protocols
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help